noinst_LTLIBRARIES = libminisatp.la

INCLUDES=$(config_includedirs)

libminisatp_la_SOURCES = MiniSATP.C MiniSATP.h SolverTypesP.h
